#!/bin/bash

# lists the intstructions and rpcs used by the tests in the directory

echo "instructions:"
cat *.bmdo | cut -f 1 -d ' ' | sort | uniq | grep -v "[,/]" | grep -v ":$" | grep -v "^-" | egrep "^\w*$"
echo ""
echo "rpcs:"
cat *.bmdo | grep "^rpc" | cut -f 2 -d ' ' | sort | uniq
